1

Categorical and algebraic aspects of Martin-Löf Type Theory

Year:
1989
Language:
english
File:
PDF, 939 KB
english, 1989
2

(In search of) probabilistic P systems

Year:
2003
Language:
english
File:
PDF, 185 KB
english, 2003
3

Algebra of constructions I. The word problem for partial algebras

Year:
1987
Language:
english
File:
PDF, 2.08 MB
english, 1987
4

Triangular Logic of Partial Toposes

Year:
2000
Language:
english
File:
PDF, 1.57 MB
english, 2000
5

MEMBRANE COMPUTING AND ONE-WAY FUNCTIONS

Year:
2001
Language:
english
File:
PDF, 990 KB
english, 2001
6

GANDY'S PRINCIPLES FOR MECHANISMS AND MEMBRANE COMPUTING

Year:
2006
Language:
english
File:
PDF, 833 KB
english, 2006